منابع مشابه
Logical Semantics for Stability
Type assignment systems for λ-calculus based on intersection types are a general framework for building models of λ-calculus (known as filter-models) which are useful tools for reasoning in a finitary way about the denotational intepretation of terms. Indeed the denotation of a term is the set of types derivable for it and a type is a “finite piece” of information on such a denotation. This app...
متن کاملLogical Semantics for CafeOBJ
This paper presents the semantics of CafeOBJ system and language. CafeOBJ is a succesor of the famous algebraic specification and programming language OBJ but adding several new primitive paradigms to the traditional OBJ language, such as rewriting logic, and behavioural concurrent specification. We do not address here the detalied mathematical aspects of CafeOBJ semantics (which sometimes coul...
متن کاملLogical Semantics for Causal Constructions
Montague’s framework for semantic interpretation has always been less well adapted to the interpretation of words than of syntactic constructions. In the late 1970s, David Dowty addressed this problem, concentrating on the interpretation of tense, aspect, inchoatives, and causatives in an extension of Montague’s Intensional Logic. In this paper I will try to revive this project, conceiving it a...
متن کاملLazy Logical Semantics
The lazy evaluation of the λ-calculus, both in call-by-name and in call-by-value setting, is studied. Starting from a logical descriptions of two topological models of such calculi, a pre-order relation on terms, stratified by types, is defined, which grasps exactly the two operational semantics we want to model. Such a relation can be used for building two fully abstract models.
متن کاملResource-logical Event Semantics for LFG (Draft)
In this paper I implement the core of an event semantics for LFG using the resource-logic semantic framework of Dalrymple et al. (1997). The interaction of event variables with tense, aspect, adverbs, and quantified NPs is explored. The particular analysis given here is motivated by certain problems and results from categorial grammar treatments. 1 Event semantics in categorial grammar Followin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2009
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2009.07.101